Truth Maintenance or Reason Maintenance